#include <stdio.h>
#include "testIF.h"
#include <string.h>

int main(void){
  printf("PI=%lf\n",PI);
  printf("SUM=%lf\n",SUM);
  printf("len:%zu\n",strlen("abc"));
  return 0;
} 